00100	(DE PATH (SEEN LEFT) (COND
00200	((NULL LEFT)
00300	(CONS (QUOTE LOSE) SEEN))
00400	((ISWIN (CAR LEFT)) (LIST (CAR LEFT)))
00450	((OR (ISLOSE (CAR LEFT)) (MEMBER (CAR LEFT) SEEN))
00475	(PATH (CONS (CAR LEFT) SEEN) (CDR LEFT)))
00500	(T ((LAMBDA (W) (COND ((EQ (CAR W) (QUOTE LOSE))
00600	(PATH (CDR W) (CDR LEFT))) (T (CONS (CAR LEFT) W))))
00700	(COUNT (PATH (CONS (CAR LEFT) SEEN) (SUCCESSORS (CAR LEFT))))))))
00800	
00900	(DE COUNT (W) ((LAMBDA (X) W) (SETQ ZZC (ADD1 ZZC))))